Synchronisation Trees
نویسنده
چکیده
منابع مشابه
Behavioural Subtyping in Name Passing Synchronisation Trees
We present a general theory of behavioural subtyping for name passing interactive behaviours using early name-passing synchronisation trees. In this theory types are collections of name passing synchronisation trees organised by typed variants of process-theoretic operations, and a simple behavioural notion of subtyping speciies when one type denotes more constrained behaviours than another, oo...
متن کاملOn the Relationship of CCS and CSP
This paper compares two models of concurrency, Milner's Calculus of Communicating Systems (CCS) and the failures model of Communicating Sequential Processes (CSP) developed by Hoare, Brookes and Roscoe. By adapting Milner's synchronisation trees to serve as notation for both CCS and CSP, we are able to define a representation mapping for CSP processes. We define an equivalence relation on synch...
متن کاملAn Application Layer Active Networking Infrastructure for Distributed Virtual Reality
This paper presents an application layer active networking infrastructure for distributed virtual reality. It will assess the efficiency for group communication of multicast trees over n-way distribution. The analysis of clock synchronisation and event routing is also performed. The viability of this infrastructure is assessed by simulation.
متن کاملOutline of a Denotational Semantics for the π-Calculus
It appears possible to give a fairly standard denotational semantics for the π-calculus, provided that we work within a functor category indexed by a category I of finite sets and injections. The construction is driven by the expansion law, and resembles Abramsky’s domain of synchronisation trees [1]. It also extends Ingólfsdóttir’s work on domain models of value-passing CCS [4]. The relevant p...
متن کاملTiming, Sequencing and Quantum f Life Course Events: a Machine Learning Approach
In this methodological paper we discuss and apply machine learning techniques, a core research area in the artificial intelligence literature, to analyse simultaneously timing, sequencing, and quantum of life course events from a comparative perspective. We outline the need for techniques which allow the adoption of a holistic approach to the analysis of life courses, illustrating the specific ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1983